Multiwave interaction solutions for a (3+1)-dimensional generalized Kadomtsev-Petviashvili equation

To construct a class of new multiwave interaction solutions for the (3+1)-dimensional generalized Kadomtsev-Petviashvili equation, we calculate different types of interaction solutions among solitons, periodic waves and rational waves using the direct algebraic method together with the inheritance solving skill. Moreover, a new algorithm is proposed with the aid of the simplified Hirota method, the conjugated parameters assignment and long wave limit strategies, from which multiwave interaction solutions among solitons, breathers and lump waves are generated.     

A Structural Entropy Measurement Principle of Propositional Formulas in Conjunctive Normal Form

The satisfiability (SAT) problem is a core problem in computer science. Existing studies have shown that most industrial SAT instances can be effectively solved by modern SAT solvers while random SAT instances cannot. It is believed that the structural characteristics of different SAT formula classes are the reasons behind this difference. In this paper, we study the structural properties of propositional formulas in conjunctive normal form (CNF) by the principle of structural entropy of formulas. First, we used structural entropy to measure the complex structure of a formula and found that the difficulty solving the formula is related to the structural entropy of the formula. The smaller the compressing information of a formula, the more difficult it is to solve the formula. Secondly, we proposed a λ-approximation strategy to approximate the structural entropy of large formulas. The experimental results showed that the proposed strategy can effectively approximate the structural entropy of the original formula and that the approximation ratio is more than 92%. Finally, we analyzed the structural properties of a formula in the solution process and found that a local search solver tends to select variables in different communities to perform the next round of searches during a search and that the structural entropy of a variable affects the probability of the variable being flipped. By using these conclusions, we also proposed an initial candidate solution generation strategy for a local search for SAT, and the experimental results showed that this strategy effectively improves the performance of the solvers CCAsat and Sparrow2011 when incorporated into these two solvers.     

Uniformity in Computable Structure Theory

We investigate the effects of adding uniformity requirements to concepts in computable structure theory such as computable categoricity (of a structure) and intrinsic computability (of a relation on a computable structure). We consider and compare two different notions of uniformity, previously studied by Kudinov and by Ventsov. We discuss some of their results and establish new ones, while also exploring the connections with the relative computable structure theory of Ash, Knight, Manasse, and Slaman and Chisholm and with previous work of Ash, Knight, and Slaman on uniformity in a general computable structure-theoretical setting.     

Stability criterion for synchronization of linearly coupled unified chaotic systems

This paper investigates the synchronization of two linearly coupled unified chaotic systems. A new stability criterion for asymptotic synchronization is attained using the Lyapunov stability theory and linear matrix inequality (LMI) approach. A numerical example is given to illuminate the design procedure and advantage of the result derived.     

Stiffness of spherical bonded rubber bush mountings

Exact closed-form expressions are derived for the torsional stiffnesses of spherical rubber bush mountings in the two principal modes of angular deformation, based upon the classical theory of elasticity. Agreement is found, as limiting cases, with the known results for the torsional stiffness and shear stiffness of an elastomer pad of circular cross-section.     

A posteriori error estimation for a fully discrete discontinuous Galerkin approximation to a kind of singularly perturbed problems

The time variable in the semi-discrete problem is still continuous. In order to obtain an expected numerical solution, discretization the time variable from the semi-discrete form (full discretization) is needed. For a kind of non-stationarily singular perturbation problem in 1D, a fully discrete discontinuous Galerkin (DG) method is considered. That is to say, space variable is discretized with a primal DG method with penalty, and time variable is done using the backward Euler method. By virtue of duality arguments, inverse estimation of finite element method and interpolation theory, we present a residual-type a posteriori error indicator, which is usually used for adaptivity.     

Regular and singular components of periodic flows in the fluid interior

The structure of infinitesimal periodic motions in the interior of a rotating compressible fluid which has been stratified using salt is analyzed taking account of dissipation effects. In the general case, the system of fundamental equations of motion belongs to the class of singularly perturbed equations, the solutions of that consist of functions which are regular and singular with respect to the dissipative coefficients that describe both propagating hybrid waves as well as several types of accompanying singular components including boundary layers. The thicknesses of the singular components are determined by the kinematic viscosity, the diffusion coefficient of the salt and the characteristic frequencies of the problem. In the model of a barotropic or homogeneous fluid, the singular components of spatial periodic flows combine together, which is indicative of degeneracy of the system of equations. Taking account of the full set of components, which are regular and singular with respect to the dissipative characteristics, enables one to construct exact solutions of problems of the generation and non-linear interaction of waves.     

A numerical investigation of the resonance of gas-filled microbubbles: resonance dependence on acoustic pressure amplitude

The general Keller–Herring equation for free gas bubbles is augmented by specific terms to describe the elasticity, viscosity and thickness of the encapsulating shell in ultrasound contrast agent microbubbles. A numerical investigation that analyses the acoustic backscatter from bubbles is employed to identify resonance frequencies that can be compared, for increasing driving pressure amplitude, with linear approximations obtained via analytical considerations. Calculations for bubbles of the size employed in diagnostic ultrasound, between 2 and 6 μm diameter, that are immersed in water and blood and exposed to monochromatic insonation, causing the bubbles to undergo stable cavitation, reveal that the resonance frequency diverges from the linear approximation as the pressure amplitude is increased. The shift in resonance, to lower frequency values, is found to be more pronounced for larger bubbles with the calculated value differing by up to 40% from the linear approximation. The results of this simulation might be potentially useful in preparation of formulations of ultrasound contrast agents with the specifically desired features, such as for instance resonance frequency.